Refutation calculi for certain intermediate propositional logicsSKURA, T.Notre Dame journal of formal logic. 1992, Vol 33, Num 4, pp 552-560, issn 0029-4527Article

Arithmetical interpretations of dynamic logicHAJEK, P.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 704-713, issn 0022-4812Article

The extensions of the modal logic K5NAGLE, M. C; THOMASON, S. K.The Journal of symbolic logic. 1985, Vol 50, Num 1, pp 102-109, issn 0022-4812Article

An introduction to probabilistic L-valued logicCZOGAŁA, E.Fuzzy sets and systems. 1984, Vol 13, Num 2, pp 179-185, issn 0165-0114Article

Some remarks on equivalence in infinitary and stationary logicKAUFMANN, M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 383-389, issn 0029-4527Article

Essai sur la généralisation naturelle de la logique usuelleDUBARLE, S.Mathématiques et sciences humaines. 1989, Num 107, pp 17-73, issn 0025-5815Article

On a certain formalization of antonyms logicGOLOTA, Y. Y.Fuzzy sets and systems. 1992, Vol 45, Num 3, pp 335-340, issn 0165-0114Article

Is the interesting part of process logic uninteresting?: a translation from PL to PDLSHERMAN, R; PNUELI, A; HAREL, D et al.SIAM journal on computing (Print). 1984, Vol 13, Num 4, pp 825-839, issn 0097-5397Article

Classical logic, intuitionistic logic, and the Peirce ruleAFRICK, H.Notre Dame journal of formal logic. 1992, Vol 33, Num 2, pp 229-235, issn 0029-4527Article

Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryTAKEUTI, G; TITANI, S.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 851-866, issn 0022-4812Article

A note on the interpolation property in tense logicWOLTER, F.Journal of philosophical logic. 1997, Vol 26, Num 5, pp 545-551, issn 0022-3611Article

A Complete Deductive-System for Since-Until Branching-Time LogicZANARDO, A.Journal of philosophical logic. 1991, Vol 20, Num 2, pp 131-148, issn 0022-3611Article

Conjunctive normal forms and weak modal logics without the axiom of necessityOHAMA, S.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 141-151, issn 0029-4527Article

Per un possibile confronto fra logica Fuzzy e teorie del-l'argomentazionePUPPO, Federico.Rivista internazionale di filosofia del diritto. 2006, Vol 83, Num 2, pp 221-271, issn 0035-6727, 51 p.Article

Modal logics with the Macintosh ruleCHELLAS, B. F; SEGERBERG, K.Journal of philosophical logic. 1994, Vol 23, Num 1, pp 67-86, issn 0022-3611Article

The logic of free acts and the powers of godFORREST, P.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 20-38, issn 0029-4527Article

An incomplete decidable modal logicCRESSWELL, M. J.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 520-527, issn 0022-4812Article

On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculusRUITENBURG, W.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 892-899, issn 0022-4812Article

Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista = Sur les relations de couverture d'un modèle de filtres d'une théorie propositionnelle intuitionniste = On the covering relations for a model of filters in an intuitionistic propositional theoryGHILARDI, S; MELONI, G. C.Rendiconti - Istituto lombardo. Accademia di scienze e lettere. A. Scienze matematiche e applicazioni. 1983, Vol 117, pp 223-235, issn 0392-9523Article

Dialektik und Formalisierung = Dialectics and formalizationPUNTEL, L. B.Journal for general philosophy of science. 1997, Vol 28, Num 2, pp 367-383, issn 0925-4560Article

La logique interne de la théorie des probabilités = The Internal Logic of the Theory of ProbabilitiesGAUTHIER, Y.Dialogue. Canadian Philosophical Association. 1993, Vol 32, Num 1, pp 95-103, issn 0012-2173Article

What is an Inference Rule?FAGIN, R; HALPERN, J. Y; VARDI, M. Y et al.The Journal of symbolic logic. 1992, Vol 57, Num 3, pp 1018-1045, issn 0022-4812Article

New perspectives in dialogical logicRüCKERT, Helge; RAHMAN, Shahid.Synthese (Dordrecht). 2001, Vol 127, Num 1-2, issn 0039-7857, 264 p.Serial Issue

Properties of independently axiomatizable bimodal logicsKRACHT, M; WOLTER, F.The Journal of symbolic logic. 1991, Vol 56, Num 4, pp 1469-1485, issn 0022-4812Article

Non-commutativity and MELL in the calculus of structuresGUGLIELMI, Alessio; STRASSBURGER, Lutz.Lecture notes in computer science. 2001, pp 54-68, issn 0302-9743, isbn 3-540-42554-3Conference Paper